Exploring modal worlds
نویسندگان
چکیده
Modal idempotent semirings cover a large set of different applications. The paper presents a small collection of these, ranging from algebraic logics for program correctness over bisimulation refinement, formal concept analysis, database preferences to feature oriented software development. We provide new results and/or views on these domains; the modal semiring setting allows a concise and unified treatment, while being more general than, e.g., standard relation algebra.
منابع مشابه
Kabbalah Logic and Semantic Foundations for a Postmodern Fuzzy Set and Fuzzy Logic Theory
Despite half a century of fuzzy sets and fuzzy logic progress, as fuzzy sets address complex and uncertain information through the lens of human knowledge and subjectivity, more progress is needed in the semantics of fuzzy sets and in exploring the multi-modal aspect of fuzzy logic due to the different cognitive, emotional and behavioral angles of assessing truth. We lay here the foundations of...
متن کاملPossible Worlds for Modal Primitivists
Among the most remarkable developments in metaphysics since the 1950’s is the explosion of philosophical interest in possible worlds. This paper proposes an explanation of what possible worlds are, and argues that this proposal, the interpreted models conception, should be attractive to anyone who thinks that modal facts are primitive, and so not to be explained in terms of some non-modal notio...
متن کاملPossible Worlds I: Modal Realism
It is difficult to wander far in contemporary metaphysics without bumping into talk of possible worlds. And reference to possible worlds is not confined to metaphysics. It can be found in contemporary epistemology and ethics, and has even found its way into linguistics and decision theory. But what are those possible worlds, the entities to which theorists in these disciplines all appeal? Call ...
متن کاملWorlds and Times
There are many parallels between the role of possible worlds in modal logic and that of times in tense logic. But the similarities only go so far, and it is important to note where the two come apart. This paper argues that even though worlds and times play similar roles in the model theories of modal and tense logic, there is no tense analogue of the possible-worlds analysis of modal operators...
متن کاملUsing Modal Structures to Represent Extensions to Epistemic Logics
Kripke structures have been proposed as a semantic basis for modal logics of necessity and possibility. They consist of a set of states, informally interpreted as "possible worlds", and a binary accessibility relation between states. The primitive notion of a possible world in this context seems highly intuitive, since necessity can be interpreted as "truth in all possible worlds", and possibil...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Log. Algebr. Meth. Program.
دوره 83 شماره
صفحات -
تاریخ انتشار 2014